signature tigerseman =
sig
	val transProg: tigerabs.exp -> unit
end
